Requirements‐related fault prevention during the transformation from formal specifications to programs

Software faults are costly to find and remove from programs. It is better avoid inserting the in first place. The authors identify requirements-related that can arise during transformation of formal specifications into programs, analyse each discover its causes, propose corresponding fault prevention methods. approach works by analysing a specification, decomposing it specification fragments with different levels like components, determining correct implementation order among enabling automated code generation for components other low-level fragments. seeks reduce programs significantly guiding programmers work effectively productively. evaluate approach's performance experimentally compare fault-prevention method industry applications.